Foxp3<deltaCNS1gfp> MGI:4430232 targeted mutation 5.2, Alexander Y Rudensky http://identifiers.org/mgd/MGI:4430232 Reporter|Null/knockout Foxp3<tm5.2Ayr>